Towards Sophisticated Air Traffic Control System Using Formal Methods
نویسندگان
چکیده
منابع مشابه
Formal Analysis of Arrival Procedure of Air Traffic Control System
The air traffic control (ATC) is safety, monetary and environmental critical system. Its failure may cause the loss of human life, severe injuries, loss of money and environmental issues. The complexity of such systems requires formal modeling and step by step design processes. In this paper we investigate the use of formal method VDM++ to specify and verify the arrival procedure of aircrafts. ...
متن کاملDesign of Formal Air Traffic Control System through Uml
In recent years, UML has become most popular among modeling languages and is commonly used to drive the design and implementation of system and software architectures. UML models help to achieve functional and non-functional requirements of system. Furthermore, UML tools have enabled the creation of source code from UML diagrams in order to initiate the programming phase of building software. H...
متن کاملTowards a reliable air traffic control
Since critical socio-technical systems include people interacting with equipments in workplaces, their intrinsic reliability problems have been concerned with both these two “actors”. Air Traffic Control (ATC) is going to be such a system in which controllers use a large number of distributed software tools to provide safety ATC services. The reliability of these services relies on the availabi...
متن کاملPractical Experience Applying Formal Methods to Air Traffic Management Software
This paper relates experiences with formal methods that are relevant to the systems engineering activities of requirements specification, design documentation, and test case generation. Specifically, this paper reviews the lessons learned from the application of formal methods to selected components of an air traffic management system. This project used experimental tools developed at the Unive...
متن کاملFormal Specification and Verification of a Coordination Protocol for an Automated Air Traffic Control System
Safe separation between aircraft is the primary consideration in air traffic control. To achieve the required level of assurance for this safety-critical application, the Automated Airspace Concept (AAC) proposes three levels of conflict detection and resolution. Recently, a high-level operational concept was proposed to define the cooperation between components in the AAC. However, the propose...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Modelling and Simulation in Engineering
سال: 2018
ISSN: 1687-5591,1687-5605
DOI: 10.1155/2018/1692432